Fixed point - PDFSEARCH.IO - Document Search Engine

Fixed point
Results: 544

#	Item
211	A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions ∗ Kedar Swadi † Walid Taha Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-01-29 08:17:09 Functional programming Lambda calculus Adjoint functors Theoretical computer science Combinatory logic Memoization Fixed-point combinator Monad Combinator library Software engineering Computing Declarative programming
212	A Variadic Extension of Curry’s Fixed-Point Combinator Mayer Goldberg ()∗ Department of Computer Science Ben Gurion University, Beer Sheva 84105, Israel Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Lambda calculus Subroutines Recursion Higher-order functions Functional programming Fixed-point combinator Variadic function Combinatory logic Fold Software engineering Computing Declarative programming
213	20th Nordic Mathematical Contest Thursday March 30, 2006 English version Time allowed: 4 hours. Each problem is worth 5 points. Problem 1. Let B and C be points on two fixed rays emanating from a point A such that AB + A Add to Reading List Source URL: www.georgmohr.dk Language: English - Date: 2006-04-12 10:36:33 Triangle geometry Circumscribed circle Triangle Geometry Triangles Circles
214	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
215	arXiv:0912.0208v2 [hep-th] 12 Jan 2010 Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-01-12 10:10:34 Statistical mechanics Particle physics Fixed points Infrared fixed point Top quark Higgs boson Higgs mechanism Standard Model Coupling constant Physics Quantum field theory Renormalization group
216 $Mathematics / Continued fractions / Diophantine equations$	20th Nordic Mathematical Contest Thursday March 30, 2006 English version Time allowed: 4 hours. Each problem is worth 5 points. Problem 1. Let B and C be points on two fixed rays emanating from a point A such that AB + A Add to Reading List Source URL: www.georgmohr.dk Language: English - Date: 2006-04-12 10:31:31 Mathematics Continued fractions Diophantine equations
217	1 Asymptotic Safety Roberto Percacci arXiv:0709.3851v2 [hep-th] 18 Nov 2008 Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-11-18 14:00:28 Statistical mechanics Mathematical physics Fixed points UV fixed point Coupling constant Quantum gravity Scalar field theory Quartic interaction Standard Model Physics Quantum field theory Renormalization group
218	Excel Syn LOANS -Syndicated Loans System EXCEL TECHNOLOGY INTERNATIONAL (HONG KONG) LIMITED 5/F, King’s Road, North Point, Hong Kong Tel: ( Add to Reading List Source URL: www.excel.com.hk Language: English - Date: 2004-02-27 06:21:04 Economics Loans Personal finance Fixed income securities Structured finance Syndicated loan Tranche Repurchase agreement Revolving credit Financial economics Finance Credit
219	Genuinely Functional User Interfaces Antony Courtney 1,2 Dept. of Computer Science Yale University New Haven, CT 06520 Add to Reading List Source URL: conal.net Language: English - Date: 2001-09-17 19:15:42 Lambda calculus Digital electronics Logic in computer science Digital signal processing Fixed-point combinator Recursion Transformer Monad Combinatory logic Theoretical computer science Electronic engineering Applied mathematics
220	Typed Self-Representation Tillmann Rendel Klaus Ostermann Christian Hofer Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2009-03-29 13:41:42 Programming language theory Type theory Fixed-point combinator Simply typed lambda calculus System F Typed lambda calculus Type system Generalized algebraic data type Entailment Theoretical computer science Software engineering Lambda calculus

UPDATE